Characterizing D-WFS: Confluence and Iterated GCWA (1996)

by Stefan Brass, Jurgen Dix
Venue:Logics in Artificial Intelligence (JELIA '96), LNCS 1126