Bjørner, N., De Caso, G., & Gurevich, Y. From primal infon logic with individual variables to datalog.
Cita Chicago Style (17a ed.)Bjørner, N., G. De Caso, y Y. Gurevich. From Primal Infon Logic with Individual Variables to Datalog.
Cita MLA (8a ed.)Bjørner, N., et al. From Primal Infon Logic with Individual Variables to Datalog.
Precaución: Estas citas no son 100% exactas.