Author: Carlos Arecess and Juan Hegulabehere; | Publisher: Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Author: Zainul Arham; Nur Aeni Hidayah; Viva Arifin; | Publisher: SRITI Proceeding : Seminar Nasional Riset Teknologi Informasi 2009, Yogyakarta, 08 Agustus 2009