Improved prolog implementation of wang's theorem prover algorithm - Monard, Maria Carolina; Nicoletti, M C (Advances in Modelling & Analysis, 1993)