Correctness of Full First-Order Specifications.

Wolfgang Reif

Browse the full SEKE paper archive.