Alan R. Macnaughton

	1989
2		Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper: Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. J. Autom. Reasoning 5(3): 339-362 (1989)
	1988
1		Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper: Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). ISSAC 1988: 109-115

Coauthor Index

1	Bruce W. Char	[1] [2]
2	Paul A. Strooper	[1] [2]