Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Apt K.R, Introduction to Logic Programming (Revised and Extended Version), Report CS-R8826, Centre for Math. and Comp. Science, 1986 Amsterdam
2. Baader F., Tinelli C.: A New Approach for Combining Decision Procedures for the Word Problem and Its Connection to the Nelson-Oppen Combination method, pg. 19–33in proc. CADE-14, LNAI 1249, ed. W. McCune, Springer 1997
3. Baumgartner P., Furbach U.: Model Elimination Without Contrapositives and its Application to PTTP, in Proc. CADE-14, LNAI 1249, ed. W. McCune, Springer 1997
4. Bjorner N.S., Stickel M.E., Uribe, T.E.: A Practical Integration of First-Order Reasoning and Decision procedures, pg. 101–115 in proc. CADE-14, LNAI 1249, ed. W. McCune, Springer 1997
5. Lect Notes Comput Sci;R.J. Boulton,1995