Skip to content

A Multiple-Conclusion Meta-Logic

Dale Miller

VenueA*LICS
Year1994
ProceedingsLICS

Browse the full LICS paper archive.