Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
Bundy, Alan Programming Logics, MPI for Informatics, Max Planck Society;
Frank, I., Basin, D., & Bundy, A. (1992). Finesse: An Adaptation of Proof‐planning to Declarer Play in Bridge. In B. Neuman, & W. Horn (Eds.), ECAI 1992 (pp. 72-76). Vienna, Austria: Wiley.