%0 Conference Paper %1 conf/iclp/DyckhoffS94 %A Dyckhoff, Roy %A Shankar, Natarajan %B ICLP Workshop: Proof-Theoretical Extensions on Logic Programming %D 1994 %E Dyckhoff, Roy %E Eriksson, Lars-Henrik %E Momigliano, Alberto %E Ornaghi, Mario %K dblp %T Proof Search (Tutorial). %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#DyckhoffS94

@inproceedings{conf/iclp/DyckhoffS94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Dyckhoff, Roy and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/285e43b6c0ba14b35977dbac19d6f1734/dblp}, booktitle = {ICLP Workshop: Proof-Theoretical Extensions on Logic Programming}, crossref = {conf/iclp/1994w10}, editor = {Dyckhoff, Roy and Eriksson, Lars-Henrik and Momigliano, Alberto and Ornaghi, Mario}, interhash = {801fb6670b665ab37c088dc803cd5432}, intrahash = {85e43b6c0ba14b35977dbac19d6f1734}, keywords = {dblp}, timestamp = {2013-12-03T11:35:24.000+0100}, title = {Proof Search (Tutorial).}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#DyckhoffS94}, year = 1994 }