Authors: Rao, L Reichgelt, H

Citation: L. Rao et H. Reichgelt, STIRDAT: A system tightly integrating relational databases and a theorem prover, DATA KN ENG, 34(1), 2000, pp. 1-20