Multilevel logic programming for software engineering - Bielikova, Maria (Array, 1997)