Esther König A Hypothetical Reasoning Algorithm for Linguistic Analysis. 1-19 1994 4 J. Log. Comput. 1 db/journals/logcom/logcom4.html#Konig94