Logic Programming in Tabular Allegories | Publicación