by Phillips, Iain, Ulidowski, Irek
Published in Journal of logical and algebraic methods in programming (01.11.2015)

by Viroli, Mirko, Beal, Jacob, Damiani, Ferruccio, Audrito, Giorgio, Casadei, Roberto, Pianini, Danilo
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Durán, Francisco, Eker, Steven, Escobar, Santiago, Martí-Oliet, Narciso, Meseguer, José, Rubio, Rubén, Talcott, Carolyn
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Bauer, Andrej, Pretnar, Matija
Published in Journal of logical and algebraic methods in programming (01.01.2015)

by Ábrahám, Erika, Davenport, James H., England, Matthew, Kremer, Gereon
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Jacobs, Bart
Published in Journal of logical and algebraic methods in programming (01.01.2018)

by Gadducci, Fabio, Laretto, Andrea, Trotta, Davide
Published in Journal of logical and algebraic methods in programming (01.01.2026)

by Lanese, Ivan, Nishida, Naoki, Palacios, Adrián, Vidal, Germán
Published in Journal of logical and algebraic methods in programming (01.11.2018)

by Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Ghilezan, Silvia, Jakšić, Svetlana, Pantović, Jovanka, Scalas, Alceste, Yoshida, Nobuko
Published in Journal of logical and algebraic methods in programming (01.04.2019)

by Khan, Muhammad Hannan, Khan, Shahid, Hasan, Osman
Published in Journal of logical and algebraic methods in programming (01.09.2025)

by Wei, Zeming, Zhang, Xiyue, Zhang, Yihao, Sun, Meng
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Rubio, Rubén, Martí-Oliet, Narciso, Pita, Isabel, Verdejo, Alberto
Published in Journal of logical and algebraic methods in programming (01.11.2021)

by Behr, Nicolas, Harmer, Russ, Krivine, Jean
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Makhlouf, Karima, Zhioua, Sami, Palamidessi, Catuscia
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Panizo, Laura, Gallardo, María-del-Mar, Luque-Schempp, Francisco, Merino, Pedro
Published in Journal of logical and algebraic methods in programming (01.07.2025)

by Vidal, Germán
Published in Journal of logical and algebraic methods in programming (01.07.2025)

by Escobar, Santiago, Martí-Oliet, Narciso
Published in Journal of logical and algebraic methods in programming (01.07.2025)

by Ahman, Danel, Bauer, Andrej
Published in Journal of logical and algebraic methods in programming (01.07.2025)

by Olarte, Carlos, Ölveczky, Peter Csaba
Published in Journal of logical and algebraic methods in programming (01.07.2025)