Beata Konikowska Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal]
Javier Leach, Susana Nieva Foundations of a theorem prover for functional and mathematical uses. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal]