%0 Conference Paper %1 conf/iclp/Maher86 %A Maher, Michael J. %B ICLP %D 1986 %E Shapiro, Ehud %I Springer %K dblp %P 410-424 %T Eqivalences of Logic Programs. %U http://dblp.uni-trier.de/db/conf/iclp/iclp86.html#Maher86 %V 225 %@ 3-540-16492-8

@inproceedings{conf/iclp/Maher86, added-at = {2017-05-19T00:00:00.000+0200}, author = {Maher, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/29c912b5cc02a6c04f01a62bb25ab8882/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1986}, editor = {Shapiro, Ehud}, ee = {https://doi.org/10.1007/3-540-16492-8_91}, interhash = {1f61e583719b99a1e477b25c32a98b92}, intrahash = {9c912b5cc02a6c04f01a62bb25ab8882}, isbn = {3-540-16492-8}, keywords = {dblp}, pages = {410-424}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:01.000+0200}, title = {Eqivalences of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp86.html#Maher86}, volume = 225, year = 1986 }