Hrvatska enciklopedija (2013–)
Gracija iz Mula (pravo ime Pavao Krilović), hrvatski blaženik (Muo, Boka kotorska, 27. XI. 1438 – Mleci, ...

Hrvatski biografski leksikon (1983–)
GRACIJA IZ MULA (Pavao; Kotoranin, Krilović, Muljanin, Crillonia, da Cattaro, de Cataro, Catharinus), ...

Hrvatski opći leksikon (2012)
Gracija iz Mula, bl. (Gracija Kotorski) (1438–1508), hrv. blaženik; augustinac; skrbio za siromahe i ...

Hrvatski obiteljski leksikon (2005)
Gracija iz Mula (Gracija kotorski) (1438–1508), hrvatski blaženik, augustinac ...