"T-Theorem Proving I."

Alberto Policriti, Jacob T. Schwartz (1995)

Details and statistics

DOI: 10.1006/JSCO.1995.1053

access: open

type: Journal Article

metadata version: 2024-08-04