Williamson, M., Eirinakis, P. and Subramani, K., 2016. Fast algorithms for the undirected negative cost cycle detection problem. Algorithmica, 74(1), pp.270-325.
Wojciechowski, P., Eirinakis, P. and Subramani, K., 2017. Analyzing restricted fragments of the theory of linear arithmetic. Annals of Mathematics and Artificial Intelligence, 79(1-3), pp.245-266.
This site is registered on wpml.org as a development site.