2008. Tarski’s algorithm. Computer Tools in Education. 6 (Dec. 2008).