%0 Conference Paper %1 conf/flfp/MiglioliMO86 %A Miglioli, Pierangelo %A Moscato, Ugo %A Ornaghi, Mario %B Foundations of Logic and Functional Programming %D 1986 %E Boscarol, Mauro %E Aiello, Luigia Carlucci %E Levi, Giorgio %I Springer %K dblp %P 143-156 %T PAP: A Logic Programming System Based on a Constructive Logic. %U http://dblp.uni-trier.de/db/conf/flfp/flfp1986.html#MiglioliMO86 %V 306 %@ 3-540-19129-1

@inproceedings{conf/flfp/MiglioliMO86, added-at = {2017-05-19T00:00:00.000+0200}, author = {Miglioli, Pierangelo and Moscato, Ugo and Ornaghi, Mario}, biburl = {https://www.bibsonomy.org/bibtex/2e0c2c8ea229365efcb1ea8df3fd076ee/dblp}, booktitle = {Foundations of Logic and Functional Programming}, crossref = {conf/flfp/1986}, editor = {Boscarol, Mauro and Aiello, Luigia Carlucci and Levi, Giorgio}, ee = {https://doi.org/10.1007/3-540-19129-1_6}, interhash = {7bbd516553f260fc22467e62c80c7f8a}, intrahash = {e0c2c8ea229365efcb1ea8df3fd076ee}, isbn = {3-540-19129-1}, keywords = {dblp}, pages = {143-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:25:31.000+0200}, title = {PAP: A Logic Programming System Based on a Constructive Logic.}, url = {http://dblp.uni-trier.de/db/conf/flfp/flfp1986.html#MiglioliMO86}, volume = 306, year = 1986 }