by Toninho, Bernardo, Yoshida, Nobuko
Published in Journal of logical and algebraic methods in programming (01.08.2017)

by Mezzina, Claudio Antares, Pérez, Jorge A.
Published in Journal of logical and algebraic methods in programming (01.08.2017)

by Henrio, Ludovic, Kessler, Christoph, Li, Lu
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Kulcsár, Géza, Corradini, Andrea, Lochau, Malte
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Zhang, Zhongxi, Li, Qingguo
Published in Journal of logical and algebraic methods in programming (01.08.2019)

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

by Li, Dechao, Qin, Sijian
Published in Journal of logical and algebraic methods in programming (01.11.2018)

by Castegren, Elias, Wallin, Joel, Wrigstad, Tobias
Published in Journal of logical and algebraic methods in programming (01.11.2018)

by Johansen, Christian, Owe, Olaf
Published in Journal of logical and algebraic methods in programming (01.10.2019)

by Camacho, Carlos, Llana, Luis, Núñez, Alberto, Bravetti, Mario
Published in Journal of logical and algebraic methods in programming (01.10.2019)

by Benevides, Mario R.F., Madeira, Alexandre
Published in Journal of logical and algebraic methods in programming (01.02.2020)

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

by Fahrenberg, Uli, Legay, Axel
Published in Journal of logical and algebraic methods in programming (31.01.2020)

by Fernández, Maribel, Kirchner, Hélène, Pinaud, Bruno, Vallet, Jason
Published in Journal of logical and algebraic methods in programming (01.04.2018)

by Guzman, Michell, Haar, Stefan, Perchy, Salim, Rueda, Camilo, Valencia, Frank D.
Published in Journal of logical and algebraic methods in programming (01.01.2017)

by Fava, Daniel S., Steffen, Martin, Stolz, Volker
Published in Journal of logical and algebraic methods in programming (01.02.2019)

by Lochau, Malte, Mennicke, Stephan, Baller, Hauke, Ribbeck, Lars
Published in Journal of logical and algebraic methods in programming (01.01.2016)

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

by Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M.
Published in Journal of logical and algebraic methods in programming (20.12.2019)

by Prokić, Ivan, Pantović, Jovanka, Vieira, Hugo Torres
Published in Journal of logical and algebraic methods in programming (01.10.2019)