A logical framework to prove . . . (1997)

Cached

Download Links

by Luc Bougé , David Cachera