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

by Fabio Massacci
Citations:25 - 2 self