Mark Wallace Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? 682-687 1990 ECAI db/conf/ecai/ecai90.html#Wallace90