@article{articlee2123443,
title   = {Improved prolog implementation of wang's theorem prover algorithm},
author = {Monard, Maria Carolina and Nicoletti, M C},
year = {1993},
journal   = {Advances in Modelling & Analysis}
}