Thomson Reuters Web of Science Citation Count History for Algebraic reasoning for probabilistic action systems and while-loops
Citation counts provided by Thomson Reuters Web of Science
