A Decision Procedure for (1992)

by Baker92 Baker, Henry
Venue:Common Lisp's SUBTYPEP Predicate". Lisp and Symbolic Computation 5,3