The completeness of the Lambek Calculus with respect to relational semantics - Mikulás, Szabolcs (1992)