An approach to tableau inferencing with “hardwired” heuristics
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Model elimination and connection tableau procedures
Handbook of automated reasoning
Reachability In Some Classes Of Acyclic Petri Nets
Fundamenta Informaticae
| Hi-index | 0.00 |