from: proceedings of the sixth international conrference ...langendoen/twincle.pdf · from:...
TRANSCRIPT
D Terence Langendoen
Note
From: Proceedings of the Sixth International Conrference on Symbolic and Logic Computing, ed. by Eric Johnson. Madison, SD: Dakota State University