%0 Conference Paper %1 MarcinkowskiP92 %A Marcinkowski, J. %A Pacholski, L. %B Proceedings of the 33rd IEEE Annual Symposium on Foundations of Computer Science %D 1992 %I IEEE %K decidability horn-clauses logic %P 354-362 %R 10.1109/SFCS.1992.267755 %T Undecidability of the Horn-clause Implication Problem %U http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=267755

@inproceedings{MarcinkowskiP92, added-at = {2008-06-23T18:44:14.000+0200}, author = {Marcinkowski, J. and Pacholski, L.}, biburl = {https://www.bibsonomy.org/bibtex/22fae374f9553a7a058113f971212ba58/emanuel}, booktitle = {Proceedings of the 33rd IEEE Annual Symposium on Foundations of Computer Science}, description = {implication among Horn-clauses is not decidable}, doi = {10.1109/SFCS.1992.267755}, interhash = {0007d04a1313754a3579115f62e2143a}, intrahash = {2fae374f9553a7a058113f971212ba58}, keywords = {decidability horn-clauses logic}, pages = {354-362}, publisher = {IEEE}, timestamp = {2008-06-23T18:44:15.000+0200}, title = {Undecidability of the Horn-clause Implication Problem}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=267755}, year = 1992 }