Gregor Erbach, Werner Saurer. Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review. Artif. Intell. Rev., 14(6):615-617, 2000.
@article{ErbachS00, title = {Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review}, author = {Gregor Erbach and Werner Saurer}, year = {2000}, tags = {logic programming, reviewing, programming, logic}, researchr = {https://researchr.org/publication/ErbachS00}, cites = {0}, citedby = {0}, journal = {Artif. Intell. Rev.}, volume = {14}, number = {6}, pages = {615-617}, }