@article {el1998approach,
	title = {An Approach for Automating the verification of KADS-based Expert Systems},
	journal = {New review of applied expert systems},
	volume = {4},
	year = {1998},
	note = {n/a},
	pages = {107{\textendash}124},
	abstract = {n/a},
	author = {El-Korany, Abeer and Khaled Shaalan and Hoda Baraka and Rafea, Ahmed}
}
