LIPIcs, Volume 7, ICLP'10, Complete Volume | Publicación