## Max I. Kanovich

*Horn Programming in Linear Logic Is NP-Complete*

LICS, 1992.

@inproceedings{LICS-1992-Kanovich, author = "Max I. Kanovich", booktitle = "{Proceedings of the Seventh Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1992.185533", isbn = "0-8186-2735-2", pages = "200--210", publisher = "{IEEE Computer Society}", title = "{Horn Programming in Linear Logic Is NP-Complete}", year = 1992, }