Jean-Louis Lassez, Ken McAloon. A Constraint Sequent Calculus. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 52-61, IEEE Computer Society, 1990.
@inproceedings{LassezM90, title = {A Constraint Sequent Calculus}, author = {Jean-Louis Lassez and Ken McAloon}, year = {1990}, tags = {constraints}, researchr = {https://researchr.org/publication/LassezM90}, cites = {0}, citedby = {0}, pages = {52-61}, booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA}, publisher = {IEEE Computer Society}, }