@InProceedings{MatthewsVroon04,
 author       = {John Matthews and Daron Vroon},
 title        = {Partial Clock Functions},
 editor       = {Matt Kaufmann and J Strother Moore},
 booktitle    = {Fifth International Workshop on the {ACL2} Theorem Prover and Its Applications ({ACL2}-2004)},
 title        = {Fifth International Workshop on the {ACL2} Theorem Prover and Its Applications ({ACL2}-2004)},
 month        = "November",
 year         = "2004",
 note         = "See URL \html{http://\-www.cs.\-utexas.edu/\-users/\-moore/\-acl2/\-workshop-2004/}"
}