Esther König: A Hypothetical Reasoning Algorithm for Linguistic Analysis. J. Log. Comput. 4(1): 1-19 (1994)