A linear semantics for allowed logic programs (1990)

by Serenella Cerrito
Venue:Proceed- ings of the Fifth Annual Symposium on Logic in Computer Science