Simplification - A general constraint propagation technique for propositional and modal tableaux (1998)

by Fabio Massacci
Citations:24 - 2 self