Ml systems: A proof theory for contexts (0)

by L Serafini, F Giunchiglia
Venue:Journal of Logic, Language and Information