@inproceedings{ford-mason-01awcl,
author = {Ford , J. and Mason, I. A.},
title = {{Establishing a  General Context Lemma in PVS}},
year = 2001,
booktitle = {{Proceedings of the 
2nd Australasian Workshop on Computational Logic, AWCL'01 }},
note = {submitted}
}