Fast Computation of Proper Premises

Cite this paper

@inproceedings{Ryssel2011FastCO, title={Fast Computation of Proper Premises}, author={Uwe Ryssel and Felix Distel and Daniel Borchmann}, booktitle={CLA}, year={2011} }