Chotiros Surapholchai. 1996. Generalization of certain types of clauses of the first-order predicate logic. Bangkok:Chulalongkorn University;
Chotiros Surapholchai. (1996) Generalization of certain types of clauses of the first-order predicate logic (รายงานผลงานวิจัย). Chulalongkorn University:Bangkok.
Chotiros Surapholchai. Generalization of certain types of clauses of the first-order predicate logic. Bangkok:Chulalongkorn University, 1996.
Chotiros Surapholchai. (1996) Generalization of certain types of clauses of the first-order predicate logic (รายงานผลงานวิจัย). Chulalongkorn University:Bangkok.