APA (7th ed.) Citation

Bilkova, M., Kurz, A., Petrisan, D., & Velebil, J. (2013, October). Relation lifting, with an application to the many-valued cover modality. Logical Methods in Computer Science.

Chicago Style (17th ed.) Citation

Bilkova, Marta, Alexander Kurz, Daniela Petrisan, and Jiri Velebil. "Relation Lifting, with an Application to the Many-valued Cover Modality." Logical Methods in Computer Science Oct. 2013.

MLA (9th ed.) Citation

Bilkova, Marta, et al. "Relation Lifting, with an Application to the Many-valued Cover Modality." Logical Methods in Computer Science, Oct. 2013.