by Dinesh, Nikhil, Joshi, Aravind, Lee, Insup, Sokolsky, Oleg
Published in The journal of logic and algebraic programming (01.01.2011)

by Diaconescu, Răzvan
Published in The journal of logic and algebraic programming (01.02.2010)

by Degen, Markus, Thiemann, Peter, Wehr, Stefan
Published in The journal of logic and algebraic programming (01.10.2010)

by Solin, Kim
Published in The journal of logic and algebraic programming (01.08.2011)

by Gaintzarain, Jose, Hermo, Montserrat, Lucio, Paqui, Navarro, Marisa, Orejas, Fernando
Published in The journal of logic and algebraic programming (01.11.2009)

by Durán, Francisco, Meseguer, José
Published in The journal of logic and algebraic programming (01.05.2012)

by Hansen, Michael R.
Published in The journal of logic and algebraic programming (01.05.2012)

by Waldén, Marina, Petre, Luigia
Published in The journal of logic and algebraic programming (01.04.2012)

by Pécseli, Thomas
Published in The journal of logic and algebraic programming (01.04.2012)

by Carmen Ruiz, M., Cazorla, Diego, Cuartero, Fernando, Macia, Hermenegilda
Published in The journal of logic and algebraic programming (01.04.2009)

by Ndukwu, Ukachukwu
Published in The journal of logic and algebraic programming (01.01.2012)

by Schellekens, M.P.
Published in The journal of logic and algebraic programming (01.01.2010)

by Crampton, Jason
Published in The journal of logic and algebraic programming (01.11.2009)

by Guttmann, Walter
Published in The journal of logic and algebraic programming (01.08.2011)

by Bielova, N., Dragoni, N., Massacci, F., Naliuka, K., Siahaan, I.
Published in The journal of logic and algebraic programming (01.05.2009)

by Löding, Christof, Lutz, Carsten, Serre, Olivier
Published in The journal of logic and algebraic programming (01.09.2007)

by Mossakowski, Till, Autexier, Serge, Hutter, Dieter
Published in The journal of logic and algebraic programming (01.04.2006)

by Agrigoroaiei, Oana, Ciobanu, Gabriel
Published in The journal of logic and algebraic programming (01.08.2010)

by Brogi, Antonio, Schneider, Gerardo
Published in The journal of logic and algebraic programming (01.02.2012)

by Danicic, Sebastian, Hierons, Robert M., Laurence, Michael R.
Published in The journal of logic and algebraic programming (01.11.2011)