PrologDavid S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski · First published 2023Open the Tome
Biology, computation and linguisticsGemma Bel-Enguix, Veronica Dahl · First published 2011Open the Tome
Practical Aspects of Declarative LanguagesVeronica Dahl, Philip Wadler · First published 2003Open the Tome
Computational Logic CL 2000 00John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey · First published 2000Open the Tome
Natural Language Understanding and Logic Programming, IIVeronica Dahl · First published 1988Open the Tome
