swMATH21362MaRDI QIDQ33170FDOQ33170
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/074310668790015X
Cited In (6)
- Parsing as non-Horn deduction
- On renamable Horn and generalized Horn functions
- Uniform proofs as a foundation for logic programming
- Ltur
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
- LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
This page was built for software: Hornlog
