A Customized Logic Paradigm for Reasoning about Models (1996)

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