A Customized Logic Paradigm for Reasoning about Models (1996)

by Reinhard Stolle
Venue:In QR-96
Citations:6 - 4 self