Preliminary version appeared (1993)

by K Fisher, J C Mitchell
Venue:in Proc. IEEE Symp. on Logic in Computer Science