by Martin-Martin, Enrique, Montenegro, Manuel, Riesco, Adrián, Rodríguez-Hortalá, Juan, Rubio, Rubén
Published in Journal of logical and algebraic methods in programming (01.04.2023)

by Overbeek, Roy, Endrullis, Jörg, Rosset, Aloïs
Published in Journal of logical and algebraic methods in programming (01.06.2023)

by Frade, Maria João, Sousa Pinto, Jorge
Published in Journal of logical and algebraic methods in programming (01.06.2023)

by Backhouse, Roland, Oliveira, José Nuno
Published in Journal of logical and algebraic methods in programming (01.08.2023)

by Blázquez, Jorge, Montenegro, Manuel, Segura, Clara
Published in Journal of logical and algebraic methods in programming (01.08.2023)

by Galindo, Carlos, Pérez, Sergio, Silva, Josep
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Gadducci, Fabio, Kehrer, Timo
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Schmidt-Schauß, Manfred, Sabel, David
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Guanciale, Roberto, Tuosto, Emilio
Published in Journal of logical and algebraic methods in programming (01.11.2019)

by Pruiksma, Klaas, Pfenning, Frank
Published in Journal of logical and algebraic methods in programming (01.04.2021)

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

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

by Durán, Francisco, Rocha, Camilo, Salaün, Gwen
Published in Journal of logical and algebraic methods in programming (01.11.2021)

by Garavel, Hubert
Published in Journal of logical and algebraic methods in programming (01.04.2019)

by Schneider, Sven, Lambers, Leen
Published in Journal of logical and algebraic methods in programming (01.06.2023)

by Fernández Díaz, Álvaro, Fredlund, Lars-Åke, Benac-Earle, Clara, Mariño, Julio
Published in Journal of logical and algebraic methods in programming (01.06.2023)

by Wang, Guohui, Chen, Shanyan, Guan, Yong, Shi, Zhiping, Li, Ximeng, Zhang, Jingzhi
Published in Journal of logical and algebraic methods in programming (01.06.2023)

by Pshenitsyn, Tikhon
Published in Journal of logical and algebraic methods in programming (01.11.2022)

by Gómez-Martínez, Elena, Guerra, Esther, de Lara, Juan, Garmendia, Antonio
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Kosiol, Jens, Taentzer, Gabriele
Published in Journal of logical and algebraic methods in programming (01.01.2023)