Soundness and Completeness versus Lifting Property.

Jan A. Plaza

Browse the full AISC paper archive.