title: query evaluation in deductive databases with alternating fixpoint semantics. authors: w chen. venue: acm trans . database syst .. year: 1995
title: query evaluation of alternating xpoint logic. authors: w chen. venue: acm transactions on database systems ,. year: nan