ML Systems: A Proof Theory for Contexts

Cite this paper

@article{Serafini2002MLSA, title={ML Systems: A Proof Theory for Contexts}, author={Luciano Serafini and Fausto Giunchiglia}, journal={Journal of Logic, Language and Information}, year={2002}, volume={11}, pages={471-518} }