K. Nakamatsu, “On the relation between vector annotated logic programs and defeasible theories”, LLP, vol. 8, no. 8, pp. 181–205, Jan. 2004.