Definability in partial logic the propositional part - Thijsse, Elias (Instituut voor Taal- en Kennistechnologie <Tilburg>: ITK research report, 1990)