@inproceedings{c2bd3ee230dd418a9d78c728183c2d9a,
title = "Tutorial on λ prolog",
author = "Amy Felty and Elsa Gunter and Dale Miller and Frank Pfenning",
year = "1990",
doi = "10.1007/3-540-52885-7_142",
language = "English (US)",
isbn = "9783540528852",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "682",
editor = "Stickel, {Mark E.}",
booktitle = "10th International Conference on Automated Deduction, Proceedings",
address = "Germany",
note = "10th International Conference on Automated Deduction, CADE 1990 ; Conference date: 24-07-1990 Through 27-07-1990",
}