Journal of Automated Reasoning

Publisher: D. Reidel Pub. Co.
Place: Dordrecht, Holland
Identifiers: