4 papers:
- CSL-2004-KorovinaV #hybrid
- Pfaffian Hybrid Systems (MVK, NV), pp. 430–441.
- CSL-2003-Vorobjov #effectiveness #formal method #strict
- Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture) (NV), p. 544.
- STOC-1997-McCuaigRST
- Permanents, Pfaffian Orientations, and Even Directed Circuits (Extended Abstract) (WM, NR, PDS, RT), pp. 402–405.
- ICALP-1988-VaziraniY #graph
- Pfaffian Orientations, 0/1 Permanents, and Even Cycles in Directed Graphs (VVV, MY), pp. 667–681.