R. Lounis Marc Ayel Completeness of Knowledge-based Systems. 31-46 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#LounisA95