A linear spine calculus (2001)

by I Cervesato, F Pfenning
Venue:In submitted