A. Armando, S. Ranise: A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic /jucs_7_2/a_practical_extension_mechanism
V. Ciric, A. Cvetkovic, I. Milentijevic, O. Vojinovic: All-Pairs Shortest Paths Algorithm for Regular 2D Mesh Topologies /jucs_22_11/all_pairs_shortest_paths
I.A. Durand, S.R. Schwer: A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation /jucs_14_20/a_tool_for_reasoning