A logic for reasoning about logic specifications (1996)

by Raymond McDowell, Dale Miller