Domain logic programming : theory and applications to scientific knowledge representation. - Kostantinos Dryllerakis (1996)