@Article{1+Simiński+Nowak-Brzezińska, author = {Roman Simiński and Agnieszka Nowak-Brzezińska}, title = {New inference algorithms based on rules partition}, journal = {CS&P, the 23nd International Workshop on Concurrency, Specification and Programming (CS&P 2014).}, volume = {}, number = {Informatik-Berichte, vol.245, Humboldt-University.}, pages = {}, year = {2014} }