%0 Conference Paper %1 conf/iwar/SunL92 %A Sun, Huaiming %A Liang, Qun %B IWAR %D 1992 %E Shi, Zhongshi %I North-Holland %K dblp %P 165-176 %T A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique. %U http://dblp.uni-trier.de/db/conf/iwar/iwar1992.html#SunL92 %V A-19 %@ 0-444-89876-X

@inproceedings{conf/iwar/SunL92, added-at = {2002-01-03T00:00:00.000+0100}, author = {Sun, Huaiming and Liang, Qun}, biburl = {https://www.bibsonomy.org/bibtex/2e3446982c767d8329ccf8346ce9d7aac/dblp}, booktitle = {IWAR}, crossref = {conf/iwar/1992}, date = {2002-01-03}, description = {dblp}, editor = {Shi, Zhongshi}, interhash = {13d5a4fe3652b5b268118c399429bcc2}, intrahash = {e3446982c767d8329ccf8346ce9d7aac}, isbn = {0-444-89876-X}, keywords = {dblp}, pages = {165-176}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique.}, url = {http://dblp.uni-trier.de/db/conf/iwar/iwar1992.html#SunL92}, volume = {A-19}, year = 1992 }