Abstract
Felty, A; Middeldorp, A
Felty, A (reprint author), Univ Ottawa, Sch Elect Engn & Comp Sci, Ottawa, ON, Canada.
JOURNAL OF AUTOMATED REASONING, 2017; 58 (3): 311