Computational Linguistics, Volume 14, Number 4, December 1988, LFP: A Logic for Linguistic Descriptions and an Analysis of its Complexity monographic 1988 text book cl-1988-linguistics-14-number-4 https://aclanthology.org/J88-4000/