by Beggs, Edwin, Tucker, John V.
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Owe, Olaf, Fazeldehkordi, Elahe
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Navarro, Marisa, Orejas, Fernando, Pino, Elvira, Lambers, Leen
Published in Journal of logical and algebraic methods in programming (01.01.2021)

by Peyrone, Neda, Wichadakul, Duangdao
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio
Published in Journal of logical and algebraic methods in programming (01.02.2018)

by Francalanza, Adrian, Cini, Clare
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Bacelar Almeida, José Carlos, Barbosa, Manuel, Barthe, Gilles, Pacheco, Hugo, Pereira, Vitor, Portela, Bernardo
Published in Journal of logical and algebraic methods in programming (01.02.2022)

by Benevides, Mário, Madeira, Alexandre, Martins, Manuel A.
Published in Journal of logical and algebraic methods in programming (01.02.2022)

by Huang, Samuel, Cleaveland, Rance
Published in Journal of logical and algebraic methods in programming (01.02.2022)

by Liu, Ai, Liu, Shaoying, Sun, Meng
Published in Journal of logical and algebraic methods in programming (01.11.2022)

by Hellings, Jelle, Wu, Yuqing, Gyssens, Marc, Van Gucht, Dirk
Published in Journal of logical and algebraic methods in programming (01.04.2022)

by Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Ingolfsdottir, Anna
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Masci, Paolo
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Bergstra, Jan A., Tucker, John V.
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Feng, Hui, Bonsangue, Marcello, Lion, Benjamin
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Valiron, Benoît
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Macías, Fernando, Wolter, Uwe, Rutle, Adrian, Durán, Francisco, Rodriguez-Echeverria, Roberto
Published in Journal of logical and algebraic methods in programming (01.08.2019)

by Backhouse, Roland, Doornbos, Henk, Glück, Roland, van der Woude, Jaap
Published in Journal of logical and algebraic methods in programming (01.01.2022)

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

Published in Journal of logical and algebraic methods in programming (01.10.2024)