id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ajis02-291	Tsai, Jeffrey J. P.; Li, Bing	A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)	1999	25	.pdf	application/pdf	14172	646	53	Engineering 1999 specification depends on the sequence of clause evaluation. As a result, after each step of evaluation, mode analysis process is re-employed and mode status of arguments is changed.	cache/ajis02-291.pdf	txt/ajis02-291.txt