Ulrich Furbach. From Theorem Proving to Logic Programming. In WLP. pages 59-62, 1995.
@inproceedings{Furbach95, title = {From Theorem Proving to Logic Programming}, author = {Ulrich Furbach}, year = {1995}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/Furbach95}, cites = {0}, citedby = {0}, pages = {59-62}, booktitle = {WLP}, }