Zagorulko Y., Kostov Y., Popov I. Subdefinite data types and constraints in knowledge representation language // Computer Science. — 2001. — # 16 — P. 153-170
Zagorulko Y., Popov I. Integration of constraint programming methods with knowledge base technology // Computer Science. — 1999. — # 12 — P. 58-61
Zagorulko Y., Popov I. Knowledge representation language based on the integration of production rules, frames and a subdefinite model // Computer Science. — 1998. — # 8 — P. 81-100