\input zb-basic
\input zb-ioport
\iteman{io-port 70803130}
\itemau{Cal{\`i}, Andrea; Gottlob, Georg; Lukasiewicz, Thomas; Marnette, Bruno; Pieris, Andreas}
\itemti{Datalog+/-: A family of logical knowledge representation and query languages for new applications}
\itemso{LICS, 228-242 (2010).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/LICS.2010.27}
\end