Interactive Proof with Cambridge LCF, p. 265-288
DOI: 10.1017/cbo9780511526602.011
Export citation
Search in Google Scholar
Full text: Unavailable