Automated deduction and usability reasoning
J. Creissac Campos (visit this page for up to date information) & M. D. Harrison

In Claude Ghaoui, editor(s), in Encyclopedia of Human-Computer Interaction, Idea Group Reference. December, 2005.

ISBN: 1-59140-562-9