by Pasarella, Edelmira, Vidal, Maria-Esther, Zoltan, Cristina, Royo Sales, Juan Pablo
Published in Journal of logical and algebraic methods in programming (01.06.2024)

by van Engelenburg, Sélinde, Janssen, Marijn, Klievink, Bram
Published in Journal of logical and algebraic methods in programming (01.02.2019)

by Stoddart, Bill, Dunne, Steve, Mu, Chunyan, Zeyda, Frank
Published in Journal of logical and algebraic methods in programming (01.08.2024)

by Raya, Rodrigo, Kunčak, Viktor
Published in Journal of logical and algebraic methods in programming (01.08.2024)

by Della Giustina, D., Londero, C., Piazza, C., Riccardi, B., Romanello, R.
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Edixhoven, Luc, Jongmans, Sung-Shik, Proença, José, Castellani, Ilaria
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Hasuo, Ichiro, Oyabu, Yuichiro, Eberhart, Clovis, Suenaga, Kohei, Cho, Kenta, Katsumata, Shin-ya
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Lucas, Salvador
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Brown, Kristopher, Patterson, Evan, Hanks, Tyler, Fairbanks, James
Published in Journal of logical and algebraic methods in programming (01.08.2023)

by Kirk, Rhys, Nguyen, Hoang Nga, Bryans, Jeremy, Shaikh, Siraj Ahmed, Wartnaby, Charles
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Schneider, Sven, Maximova, Maria, Giese, Holger
Published in Journal of logical and algebraic methods in programming (01.02.2024)

by Li, Ran, Zhu, Huibiao, Banach, Richard
Published in Journal of logical and algebraic methods in programming (01.06.2024)

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

by Weitkämper, Felix
Published in Journal of logical and algebraic methods in programming (01.06.2024)

by Xie, Guojun, Yang, Huanhuan, Chen, Gang
Published in Journal of logical and algebraic methods in programming (01.06.2024)

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

by Earnshaw, Matthew, Sobociński, Paweł
Published in Journal of logical and algebraic methods in programming (01.06.2024)

by Horpácsi, Dániel, Bereczky, Péter, Thompson, Simon
Published in Journal of logical and algebraic methods in programming (01.04.2023)

by López-Rueda, Raúl, Escobar, Santiago, Sapiña, Julia
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Castiglioni, Valentina, Lanotte, Ruggero, Tini, Simone
Published in Journal of logical and algebraic methods in programming (01.02.2024)