Constructive Patterns of Logical Truth. - Elnaserledinellah Mahmood Abdelwahab (CoRR, 2016)

The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem. - Elnaserledinellah Mahmood Abdelwahab; Karim Daghbouche; Nadra Ahmad Shannan (CoRR, 2016)

Three Dogmas, a Puzzle and its Solution. - Elnaserledinellah Mahmood Abdelwahab (CoRR, 2023)