%0 Conference Paper %1 conf/flfp/ZanioloS86 %A Zaniolo, Carlo %A Saccà, Domenico %B Foundations of Logic and Functional Programming %D 1986 %E Boscarol, Mauro %E Aiello, Luigia Carlucci %E Levi, Giorgio %I Springer %K dblp %P 114-139 %T Rule Rewriting Methods for Efficient Implementations of Horn Logic. %U http://dblp.uni-trier.de/db/conf/flfp/flfp1986.html#ZanioloS86 %V 306 %@ 3-540-19129-1

@inproceedings{conf/flfp/ZanioloS86, added-at = {2017-05-19T00:00:00.000+0200}, author = {Zaniolo, Carlo and Saccà, Domenico}, biburl = {https://www.bibsonomy.org/bibtex/29aaa941ac687f88ad1eb36e9ea28b3cd/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_5}, interhash = {ea865a5430e74706f8cf7b7d29e5127e}, intrahash = {9aaa941ac687f88ad1eb36e9ea28b3cd}, isbn = {3-540-19129-1}, keywords = {dblp}, pages = {114-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:25:31.000+0200}, title = {Rule Rewriting Methods for Efficient Implementations of Horn Logic.}, url = {http://dblp.uni-trier.de/db/conf/flfp/flfp1986.html#ZanioloS86}, volume = 306, year = 1986 }