3 works on record
MySQL High Availability: Tools for Building Robust Data Centers
Term-modal logic and quantifier-free dynamic assignment logic
MySQL High Availability