Author:
Aleksic Vladimir,Degtyarev Anatoli
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Bachmair, L., Ganzinger, H., Lynch, C., Snyder, W.: Basic paramodulation. Information and Computation 121(2), 172–192 (1995)
2. Lecture Notes in Computer Science;M. Bofill,2001
3. Degtyarev, A., Koval, Y., Voronkov, A.: Handling Equality in Logic Programming via Basic Folding. Technical report 101, Uppsala University, Computing Science Department (1995)
4. de Nivelle, H.: Ordering refinements of resolution. Dissertation, Technische Universiteit Delft, Delft (1996)
5. Lynch, C.: Oriented Equational Logic Programming is Complete. Journal of Symbolic Computations 23(1), 23–45 (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Regular Derivations in Basic Superposition-Based Calculi;Logic for Programming, Artificial Intelligence, and Reasoning;2005