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 Ábrahám, Erika, Davenport, James H., England, Matthew, Kremer, Gereon
Published in Journal of logical and algebraic methods in programming (01.02.2021)

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

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

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

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 Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Dardha, Ornela, Pérez, Jorge A.
Published in Journal of logical and algebraic methods in programming (01.01.2022)

by Almeida, Bernardo, Mordido, Andreia, Vasconcelos, Vasco T.
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 Kojima, Misaki, Nishida, Naoki, Matsubara, Yutaka
Published in Journal of logical and algebraic methods in programming (01.02.2025)

by Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Benac-Earle, Clara, Mariño, Julio
Published in Journal of logical and algebraic methods in programming (01.01.2026)

by Haeri, Seyed Hossein, Van Roy, Peter, Apfelmus, Heinrich, Thompson, Peter W., Davies, Neil J., Haveraaen, Magne, Barash, Mikhail, Hammond, Kevin, Chapman, James, Šinkarovs, Artjoms
Published in Journal of logical and algebraic methods in programming (01.01.2026)

by Olarte, Carlos, Ramírez, Carlos, Rocha, Camilo, Valencia, Frank
Published in Journal of logical and algebraic methods in programming (01.01.2026)

by Hierons, Robert M., Merayo, Mercedes G., Núñez, Manuel
Published in Journal of logical and algebraic methods in programming (01.01.2026)

by Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg
Published in Journal of logical and algebraic methods in programming (01.01.2026)

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

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