Cited in
(11)- Logic Programming
- Logic Programming
- On combining linear-based strategies for tabled evaluation of logic programs
- On applying or-parallelism and tabling to logic programs
- CAT
- OPTYap
- YapOr
- Logic Programming
- Handling Incomplete and Complete Tables in Tabled Logic Programs
- Logic Programming
- scientific article; zbMATH DE number 2085268 (Why is no real title available?)
This page was built for software: YapTab
