Automated Complexity Analysis Based on Ordered Resolution (1996)

by David Basin , Harald Ganzinger
Venue:11TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (NEW BRUNSWICK, NEW JERSEY, U.S.
Citations:44 - 1 self