Adding Metatheoretic Facilities to First-Order Theories (1995)

Cached

Download Links

by David Basin , Seán Matthews
Citations:5 - 1 self