Introspective Metatheoretic Reasoning (1994)
by
Fausto Giunchiglia
,
Alessandro Cimatti
| Venue: | IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC |
| Citations: | 15 - 6 self |
Document Versions
| Introspective Metatheoretic Reasoning –Fausto Giunchiglia, Alessandro Cimatti — 1994 — IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC |
