Luis M. Laita Julia Couto Luis de Ledesma A Formal Study of Consistency of KBSs. 31-38 1991 conf/eurovav/1991 EUROVAV db/conf/eurovav/eurovav1991.html#LaitaCL91