Catherine Lassez, Ken McAloon, et al.
Journal of Symbolic Computation
No abstract available.
Catherine Lassez, Ken McAloon, et al.
Journal of Symbolic Computation
Alexander Brodsky, Catherine Lassez, et al.
Journal of Automated Reasoning
Catherine Lassez, Ken McAloon, et al.
Journal of Symbolic Computation
Tien Huynh, Catherine Lassez, et al.
Ann. Math. Artif. Intell.